Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Linear Risk Sharing on Networks
freakonometrics.hypotheses.orgยท20h
๐ŸคConsensus Networks
QUIC! Jump to User Space!
hackaday.comยท3h
๐ŸŒNetwork Protocols
Managing Asynchronous Work with Celery and Redis
dev.toยท8hยท
Discuss: DEV
๐ŸŒŠApache Kafka
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
How Digital Twins are Powering Network Transformation
telecomramblings.comยท11h
๐Ÿ”ŒInterface Evolution
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
From Static Rate Limiting to Adaptive Traffic Management in Airbnbโ€™s Key-Value Store
medium.comยท1d
๐ŸŒŠStreaming Systems
Multi-Core By Default
rfleury.comยท17hยท
๐Ÿ”ฉSystems Programming
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿ“žSession Types
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
A Proof of the Riemann Hypothesis
dev.toยท1dยท
Discuss: DEV
โš”๏ธLean Theorem
A Manifesto for the Programming Desperado
github.comยท3hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
N8n vs. Windmill vs. Temporal
blog.arcbjorn.comยท19hยท
Discuss: Hacker News
๐ŸŒŠStream Processing